a00ef40f01a3b3b6ec8ce8316e2741049c74a89a,bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/themes/WorkbenchThemeManager.java,WorkbenchThemeManager,setCurrentTheme,#String#,332
Before Change
{
ColorRegistry jfaceColors = JFaceResources.getColorRegistry();
ColorRegistry themeColors = currentTheme.getColorRegistry();
for (Iterator i = themeColors.getKeySet().iterator(); i
.hasNext();) {
String key = (String) i.next();
jfaceColors.put(key, themeColors.getRGB(key));
}
}
After Change
{
ColorRegistry jfaceColors = JFaceResources.getColorRegistry();
ColorRegistry themeColors = currentTheme.getColorRegistry();
for (Object themeColorKey : themeColors.getKeySet()) {
String key = (String) themeColorKey;
jfaceColors.put(key, themeColors.getRGB(key));
}